act($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$a(1of($e$);2of($e$))